1. Cafe
Author: / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
Classification :
E-BOOK
2. Challenges for action theories
Author: Thielscher, Michael
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، System design,، Formal methods )Computer science(
Classification :
QA
76
.
L28
Vol
.
1775
3. Descriptional complexity of formal systems :
Author: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
Classification :
QA76
.
5913
D34
2019
4. Dynamic logic
Author: / David Harel, Dexter Kozen, Jerzy Tiuryn
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Formal methods (Computer science)
Classification :
QA
,
76
.
9
,.
L63
,
H37
,
2000
5. Emotional cognitive neural algorithms with engineering applications
Author: / Leonid Perlovsky, Ross Deming, and Roman Ilin
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Cognitive neuroscience.,Computer logic.,Formal methods (Computer science),Neural networks (Computer science)
Classification :
QP
,
360
.
5
,.
P474
,
2011
6. Emotional cognitive neural algorithms with engineering applications
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Cognitive neuroscience. ; Computer logic. ; Formal methods (Computer science) ; Neural networks (Computer science) ;
7. Emotional cognitive neural algorithms with engineering applications : dynamic logic : from vague to crisp
Author: Perlovsky, Leonid I.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Formal methods )Computer science(,، Neural networks )Computer science(
Classification :
QP
360
.
5
.
P47E4
8. Formal Concept Analysis :
Author: Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
I58
2019eb
9. Formal Concept Analysis
Author: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
9
.
F67
2015
E-Book
,
10. Formal concept analysis
Author: Petko Valtchev, Robert Jeaschke (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
Classification :
QA
،
171
.
5
،.
I55
،
2011
11. Theory and Applications of Formal Argumentation.
Author: \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگرهها
Classification :
QA
76
.
9
.
T46
2015
E-Book
,
